#if CONTRACT_DEBUGGING
using System;
using System.Diagnostics;
using System.Diagnostics.Contracts;

namespace ReactiveLang
{
    static class ContractDebugging
    {
        static ContractDebugging()
        {
            Contract.ContractFailed += (s, e) =>
            {
                if (Debugger.IsAttached)
                {
                    e.SetHandled();
                    Debugger.Break();
                }
            };
        }
        public static void Initialize() { }
    }
}
#endif